User

If propositional logic formula phi$1$ OR phi$2$ is valid, which of the following statements are true? select all that apply

phi$1$ is valid

phi$2$ is satisfiable

phi$1$ AND phi$2$ is satisfiable

NOT phi$1$ OR NOT phi$2$ is unsatisfiable

None of the above