input: Az A, B és C közül legalább az egyik igaz.
instruction: Fogalmazza meg a következő állítást logikai kifejezésként, és adja meg az igazságértékét:
output: Az "A, B és C közül legalább az egyik igaz" állítás a következőképpen ábrázolható logikai kifejezésként a VAGY operátor segítségével:
  ```
  A ∨ B ∨ C
  ```
  Ennek a kifejezésnek az igazságértéke az egyes tételek, A, B és C értékeitől függ. Ebben az esetben az állítás akkor lenne igaz, ha a tételes változók közül legalább az egyik (A, B vagy C) igaz, ellenkező esetben pedig hamis.