PropertyValue
rdf:type
rdfs:label
  • Propositional formula
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Propositional formula
skos:altLabel
  • Boolean
  • literal
  • propositions
  • formulas
  • Boolean formulas
  • Propositional formula#Propositions
  • Propositional formula#Reduction by use of the map method (Veitch, Karnaugh)
  • algebra of propositions
  • propositional
  • propositional connectives
  • propositional formula
is clgo:notableIdea of