File content as of revision 2:f222a223fdb3:

#include "mbed.h"

DigitalOut a(LED1);
DigitalOut b(LED2);
DigitalOut c(LED3);
DigitalOut p(p9);

int main() 
{
    int i,j;
    for(i=0;i<2;i++)
    {
    for(j=0;j<2;j++)
    {
     a=i;b=j;
     c=1;
     wait(0.25);
      c=0;
      
      if(i*j==1)
      {
          p=1;
        wait(1);
        }
        else
        {
           p=0;
         wait(1);
        }
        {
         if(i*j==0)
         {
          p=1;
        wait(1);
        }
        else
        {
           p=0;
         wait(1);
        }
         if(i+j==1)
         {
             p=1;
             wait(1);
         }
          else
        {
           p=0;
         wait(1);
        }
         if(i==!j)
         {
             p=1;
             wait(1);
             }
        else
        {
           p=0;
         wait(1);
        }
             wait(2);}
             }
             }
                 }